Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
951	Math Course Planning Guide Subject to change Math Math Math Add to Reading List Source URL: devel.cs.stolaf.edu Language: English - Date: 2012-11-28 15:18:53 Lyapunov stability Stability theory Differential of a function Formal power series Hyperbolic function Mathematical analysis Mathematics Real analysis
952	Symmetry, Integrability and Geometry: Methods and Applications SIGMA[removed]), 013, 15 pages Exponential Formulas and Lie Algebra Type Star Products Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2012-03-22 09:58:50 Operator theory Ordinary differential equations Ring theory Fourier transform Joseph Fourier Differential operator Formal power series Spectral theory of ordinary differential equations Plancherel theorem for spherical functions Mathematical analysis Mathematics Algebra
953	Public Policy Implications of Big Data Add to Reading List Source URL: www2.datainnovation.org Language: English - Date: 2014-03-31 16:23:39 Technology Business intelligence Data analysis Data mining Data management Geographic information system Data quality Privacy Internet privacy Science Formal sciences Computing
954	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
955	100 DATA INNOVATIONS center for Add to Reading List Source URL: www2.datainnovation.org Language: English - Date: 2014-01-22 04:14:00 Statistics Business intelligence Knowledge Data mining Natural language processing Statistical natural language processing Geographic information system Analytics Remote sensing Science Data analysis Formal sciences
956	Big Data Analytics Federal Business Analytics April 2013 James Bessin, Vice President Anand Das, Vice President and Chief Technology Officer Add to Reading List Source URL: www.xerox.com Language: English - Date: 2014-12-22 12:08:00 Statistics Data analysis Formal sciences Natural language processing Statistical natural language processing Text analytics Analytics Predictive analytics Data mining Science Business intelligence Data management
957	Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner Jonas Kvarnstr¨om Dept. of Computer and Information Science, Link¨oping University, SE[removed]Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:22 Mathematical logic Μ operator Well-formed formula Function Mathematical optimization Mathematics Logic Formal languages
958	Introduction to Galaxy October 22, 2012 Are you a biological researcher who needs to do complex analysis on large datasets? Add to Reading List Source URL: www.purdue.edu Language: English Galaxy Formal sciences Data analysis Computer graphics Scientific modeling Bioinformatics Visual analytics Data visualization Bioinformatics workflow management systems Science Visualization Applied mathematics
959	Kuta Software - Infinite Algebra 2 Name___________________________________ Function Operations Add to Reading List Source URL: www.kutasoftware.com Language: English - Date: 2012-09-05 11:51:43 Mathematical series Algebra Polynomials Oscillator semigroup Representation theory Formal power series Mathematical analysis Mathematics Calculus
960	JMLR: Workshop and Conference Proceedings[removed]–50 Workshop on Applications of Pattern Analysis MOA: Massive Online Analysis, a Framework for Stream Classification and Clustering. Add to Reading List Source URL: jmlr.csail.mit.edu Language: English - Date: 2010-09-30 09:37:27 Computational statistics Learning Data analysis Formal sciences Cluster analysis Geostatistics Data stream mining Concept drift K-means clustering Statistics Machine learning Data mining

UPDATE